Mr. C. F. Cross, F.R.S

T C C F     

We review links between three logic formalisms and three approaches to specifying operational semantics. In particular, we show that specifications written with (small-step and big-step) SOS, abstract machines, and multiset rewriting, are closely related to Horn clauses, binary clauses, and (a subset of) linear logic, respectively. We shall illustrate how binary clauses form a bridge between th...

Performance of a Prototype MR-TOF-MS for the LEB of the Super-FRS

A multiple-reflection time-of-flight mass spectrometer (MR-TOF-MS) [1] will be an important part of the MATS/LaSpec beam-line at the Low-Energy-Branch (LEB) of the Super-FRS at FAIR. The MR-TOF-MS is a fast (∼ms), multi-purpose, non-scanning mass spectrometer with single-ion sensitivity and will be used as a broadband mass spectrometer, as isobar separator or for direct mass measurements of ver...

Abstract Purpose of the a Mr F

A major faci is being establis Standards (NBS provide extreme emulating a wide varilsty Bf rn typlcal of a small machine job shop. The control architecture adopted is hierarchical in nature and highly modular. The facility will be used for research on interface standards and metrology in an automated environment. The Congressional Acr e d n g up the National Bureau of Standards charges the Bure...

Elected FRS 1976

T F S C

The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and practical point of view. In this paper, we discuss some of the different aspects. Especially interesting is the new proposal of the POPL’07 keynote speaker Don Batory claiming that model transformations sh...